padmakar v khadikar-curriculum vitae

Padmakar V Khadikar-Curriculum Vitae

Huy v. Nguyen Curriculum Vitae

Research Intern June – August 2013 Motorola Solutions Inc., Chicago, IL • Supervisor: Yan-Ming Cheng, Senior Research Manager, CTO. • Worked in a spoken dialog project that aimed to support natural language queries to relational databases. • Developed a rule-based approach to convert a relational database schema to a relational ontology in RDF specification, which focused on the semantics betwe...

Alexander A . Penin Curriculum Vitae 1 Curriculum Vitae

Curriculum Vitae Et Studiorum

with valuation 110/110 cum laude Thesis: " Polymorphism and subtyping in MetaML " Supervisor: Eugenio Moggi • July 1996 High school degree at the " Istituto Tecnico Statale F.Liceti " of Rapallo (Gen-ova), with valuation 60/60 English: scholastic knowledge (PET certificate) French: scholastic knowledge Research activity Research interests Formal semantics of programming languages, functional an...

Curriculum Vitae Luca Pappalardo

Curriculum vitae et studiorum

1) Semantics of Programming Languages II (Prof. Ugo Montanari); 2) Database Programming Languages (Prof. Antonio Albano, Prof. Giuseppe Castagna, Prof. V. Benzaken) (Bertinoro); 3) Mobility Languages (Davide Sangiorgi) (Bertinoro); 4) Petri Nets (Prof. G. Balbo) (Bertinoro); 5) Syntactic Rule Formats and Defining Higher-Order Languages (Prof. Karen Bernstein); 6) Applied Cryptography (Prof. Pao...